Release notes for Agda version 2.6.1
====================================
